1. A paraconsistent decision-making method /
پدیدآورنده : Fábio Romeu de Carvalho, Jair Minoro Abe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
2. Advanced Computational Methods for Knowledge Engineering : Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015.
پدیدآورنده : Le Thi, Hoai An
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Artificial intelligence,، Engineering
رده :
Q
335
.
A7853
2015
3. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
رده :
QA267
.
B996
2006
4. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
5. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
6. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /
پدیدآورنده : Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
7. Advances in multi-objective nature inspired computing
پدیدآورنده : / Carlos A. Coello Coelle, Clarisse Dhaenens, and Laetitia Jourdan (Eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial optimization,Natural computation,Artificial Intelligence (incl. Robotics),Appl. Mathematics/Computational Methods of Engineering
رده :
QA402
.
5
.
A383
2010
8. Algorithmic and artificial intelligence methods for protein bioinformatics /
پدیدآورنده : edited by Yi Pan, Jianxin Wang, Min Li
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Bioinformatics.,Proteins-- Analysis-- Mathematics.,Artificial Intelligence.,Computational Biology.,Proteins-- analysis.
رده :
QP551
9. Applied artificial intelligence
پدیدآورنده : / edited by Da Ruan ... [et al.]
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Computational intelligence, Congresses,Nuclear physics, Mathematics, Congresses,Nuclear engineering, Mathematics, Congresses,Fuzzy logic, Congresses,Artificial intelligence, Congresses
رده :
Q342
.
I57
2006
10. Applied artificial intelligence :proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Nuclear physics - Mathematics,Congresses ، Nuclear engineering - Mathematics,Congresses ، Fuzzy logic,Congresses ، Artificial intelligence
رده :
Q
342
.
I57
2006
11. Artificial intelligence in computational engineering
پدیدآورنده : KLEIBER,MICHAL
کتابخانه: (طهران)
موضوع : ENGINEERING MATHEMATICS-DATA PROCESSING , ARTIFICIAL INTELLIGENCE
رده :
TA
331
.
A77
12. Artificial neural networks in biological and environmental analysis
پدیدآورنده : / Grady Hanrahan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
13. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
14. Cellular Automata, Dynamical Systems and Neural Networks
پدیدآورنده : edited by Eric Goles, Servet Martínez.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Information theory.,Physics.
15. Computational Intelligence in Reliability Engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Artificial intelligence. ; Mathematics. ; Engineering mathematics. ; System safety. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; Artificial Intelligence (incl. Robotics). ; Quality Control, Reliability, Safety a
16. Computational and statistical methods in intelligent systems /
پدیدآورنده : Radek Silhavy, Petr Silhavy, Zdenka Prokopova, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General
رده :
Q334
17. Computational intelligence and mathematics for tackling complex problems /
پدیدآورنده : László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, Alexander Šostak, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Fuzzy mathematics, Congresses.,Computational intelligence.,Fuzzy mathematics.
رده :
QA248